1. Computation and reasoning : a type theory for computer science
Author: Luo, Zhaohui.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Computer science
Classification :
QA
76
.
L79
1994
2. Modern Perspectives in Type-Theoretical Semantics
Author: \ Stergios Chatzikyriakidis, Zhaohui Luo, Editors.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject:
Classification :
E-book
,
